Poster: Can Johnny Authenticate? Elham Vaziripour, Ray Clinton, Justin Wu, Mark O’Neill, Jordan Whitehead, Scott Heidbrink, Kent Seamons, Daniel Zappala Computer Science Department, Brigham Young University elhamvaziri

Source URL: www.ieee-security.org

• Software
• Computing
• Computer-mediated communication
• Instant messaging clients
• Social media
• Videotelephony
• Computer access control
• Cross-platform software
• Signal
• WhatsApp
• Instant messaging
• Authentication

master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck

Source URL: www.maria-a-schett.net

• Theoretical computer science
• Mathematics
• Formal languages
• Discrete mathematics
• Graph theory
• Graph rewriting
• Logic in computer science
• Rewriting
• Rewrite order
• Confluence
• Graph
• Abstract semantic graph

Power Signatures of High-Performance Computing Workloads Jacob Combs, Jolie Nazor, Rachelle Thysell, Fabian Santiago, Matthew Hardwick, Lowell Olson, Suzanne Rivoire Department of Computer Science Sonoma State University

Source URL: rivoire.cs.sonoma.edu

• Computing
• Cluster analysis
• Data mining
• Geostatistics
• Data analysis
• Computational statistics
• Hierarchical clustering
• K-means clustering
• Computer cluster
• Consensus clustering
• Spectral clustering

Organising Monkeys or How to Run a Hacking Club Andreea-Ina Radu, Sam L. Thomas School of Computer Science University of Birmingham Email: {A.I.Radu, S.L.Thomas}@cs.bham.ac.uk Abstract—We describe the organisation of t

Source URL: afnom.net

• Computing
• Hacking
• Human behavior
• Information and communications technology
• Telephone tapping
• Computer programming
• Hacker
• Internet security
• Wargame
• Security hacker

INVITED SPEAKER SEMINAR IN ELECTRICAL AND COMPUTER ENGINEERING CO-SPONSORED BY: The Department of Electrical and Computer Engineering, Concordia University, IEEE Montreal Section,

Source URL: users.encs.concordia.ca

• Computing
• Computer systems
• Edsger W. Dijkstra
• Software architecture
• Software engineering
• Scalability
• Big data
• Database
• Information and communications technology
• Computer engineering

Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom

Source URL: qav.comlab.ox.ac.uk

• Probability theory
• Statistical randomness
• Probability
• Markov models
• Stochastic game
• Markov chain
• Determinacy
• Game theory
• Strategy
• Probabilistic automaton
• Markov decision process
• Stochastic process

Recommendations in Signed Social Networks Jiliang Tang‡ , Charu Aggarwal# , and Huan Liu† † Computer Science & Engineering, Arizona State University, Tempe, AZ, USA ‡

Source URL: gdac.uqam.ca

Roopsha Samanta Assistant Professor Department of Computer Science Purdue University Í

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Computing
• Computer science
• Symposium on Principles of Programming Languages
• Electronic design automation
• Formal methods
• Logic in computer science
• Computer Aided Verification
• Helmut Veith
• High-level synthesis
• Formal verification
• Computer music

LeakWatch: Estimating Information Leakage from Java Programs Tom Chothia1 , Yusuke Kawamoto2? , and Chris Novakovic1 1 School of Computer Science, University of Birmingham, UK

Source URL: www.cs.bham.ac.uk

• Information theory
• Statistical theory
• Mathematics
• Mathematical analysis
• Entropy
• Mutual information
• Expected value
• Confidence interval
• Information flow
• Binomial distribution
• Conditional entropy
• Quantities of information

On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Measure theory
• Mathematics
• Probability and statistics
• Determinacy
• Stochastic game
• Strategy
• Markov chain
• Stochastic process
• Support
• Mathematical optimization
• Statistical model